101. Checking Experiments in Sequential Machines
پدیدآورنده : Asok Bhattacharyya
موضوع : Fault tolerant computing,Sequential machine theory,Electronic digital computers-Testing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
102. Checking experiments in sequential machiness
پدیدآورنده : Asok Bhattacharyya
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Sequential machine theory
103. Checking experiments in sequential machines
پدیدآورنده : Bhattacharyya, Asok
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Foult tolerant computing,، Sequential machine theory,، Electronic digital computer-Testing
رده :
QA
76
.
9
F38
B47
104. Circuits logiques et automatismes a sequences
پدیدآورنده : Naslin, Pierre
کتابخانه: (طهران)
موضوع : ، Switching theory,، Ore deposits,، Mines and mineral resources,، Sequential machine theory
رده :
TK
7868
.
S9
N3
1965
105. Combinatorics on traces
پدیدآورنده : Diekert, Volker
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
106. Combinatorics on traces
پدیدآورنده : Diekert, Volker, 5591-
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
107. Communicating Process Architectures 2002 :
پدیدآورنده : edited by James Pascoe [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
108. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
109. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
110. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
111. Computation and automata
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
112. Computational linguistics and intelligent text processing
پدیدآورنده : / Alexander Gelbukh (ed.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
113. Computer architecture and organization
پدیدآورنده : Ian East.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.,Electronic digital computers.
رده :
QA76
.
5
I264
1990
114. Construction des machines sequentielles industrielles
پدیدآورنده : / par Pierre Girard, Pierre Naslin
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Sequential machine theory,Switching theory
رده :
629
.
891
Gi-C
115. Coping with Complexity :
پدیدآورنده : by Hans W. Gottinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Social sciences -- Methodology.,Social sciences.
116. Data-variant kernel analysis /
پدیدآورنده : Yuichi Motai, Sensory Intelligence Laboratory, Department of Electrical and Computer Engineering, Virginia Commonwealth University Richmond, VA
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data-- Mathematics.,Kernel functions.
رده :
QA353
.
K47
117. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
118. Design methods for digital system
پدیدآورنده : / [by] J. Chinal. Transl. from French by A. Preston and A. Sumner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA268
.
5
،.
C5213
119. Design methods for digital systems
پدیدآورنده : Chinal, Jean
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
120. Digital Circuit Design for Computer Science Students :
پدیدآورنده : by Niklaus Wirth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronics.,Engineering.,Logic design.
رده :
TK7888
.
4
B965
1995
